Which is greater: -13/11 or i?
i
Let c be 10/140 + (19 + -19 - (-25899)/14). Which is smaller: 1851 or c?
c
Suppose 42*h - 209 + 2118 = 61. Let b(a) = -4*a**2 + 6*a - 4. Let y be b(4). Is y at most h?
True
Let j be (1/(-1) + 2)/(140/(-40)). Let w = -0.21 + 0.164. Which is smaller: j or w?
j
Let a = -229 + 372. Which is bigger: 4 or a?
a
Let d = 995 - 997. Let g = -3/98 - 1933/882. Which is greater: d or g?
d
Let c be (-1713)/(-18) - (65/(-234))/(10/(-6)). Which is smaller: c or -4?
-4
Suppose 6*r = 5*d + 73, 42*r + d + 21 = 44*r. Let z = 15 - 18. Let x be -3 - 160/(-18) - z. Is x less than r?
False
Suppose -16*j = 2*j - 0*j. Let x be (j - (-128)/4)*-1. Which is bigger: x or -31?
-31
Suppose 35 = 23*h - 16*h. Suppose -3*g + 5*w + 544 = 7*w, -h*w = 4*g - 730. Is g greater than 179?
True
Let s = 69.9 - 69.8. Is s greater than or equal to -6/5?
True
Let d = 64 - 1. Let s = d + -61. Suppose 0 = -s*g - 4 + 6. Which is greater: 4/53 or g?
g
Let u(j) = 2*j**2 - 12*j - 33. Let m be u(-3). Let k be (3150/(-40))/m + (-2)/8. Is k less than or equal to 15?
True
Let o be ((-135)/(-225))/(2/4610). Let v = -95429/69 + o. Is 1 equal to v?
False
Let k = -107141/28 + 3827. Suppose -y - 4 = 0, -6*y = 3*f - 4*f + 24. Which is smaller: k or f?
f
Suppose 4*w = -5*k - 61, 5*k + 30 + 13 = -2*w. Let c be (-6)/18 - w/12. Let y(a) = a + 26. Let m be y(-26). Which is smaller: m or c?
m
Suppose -149*a = -0 + 1192. Suppose b - 20 = 4*p - b, 5*b - 22 = 3*p. Which is smaller: a or p?
a
Let f = -1.5965 + -7.5945. Let r = f - -9.44. Which is bigger: r or -1?
r
Let m be 1 + ((-6)/2 - -1). Let j = m + 4. Suppose -3*v + 39 = r + 34, 3*r = -4*v + 5. Which is smaller: j or v?
v
Let f = -487 + 138. Let m = 2448/7 + f. Which is smaller: m or 2?
m
Suppose -5*m = -3*y - 11, -5*y + 2*y - 7 = -m. Let f be (-357)/2 - (-2)/6. Let l = 179 + f. Is l at most as big as m?
True
Let b be (-360)/1165*(-162)/(-216). Which is smaller: 0 or b?
b
Let h = -37430 - -37583.23. Is -0.1 != h?
True
Let s = -16179 + 16247. Is s less than 3?
False
Suppose k + 5*t = 1049, 33*k + 3136 = 36*k + 4*t. Which is smaller: k or -3?
-3
Let g(h) = -h**3 + 4*h**2 + 64*h + 144. Let r be g(11). Let l = -463627/257 - -1804. Is l at most as big as r?
True
Let h = -165.28 - -164.7325. Is h bigger than 1/3?
False
Let z be ((-3)/9)/(3/747). Let b(t) = -2*t**2 - 19*t - 23. Let l be b(-12). Is z >= l?
True
Let l = 4257 + -4258. Is l equal to 4/899?
False
Let g(p) = 293*p - 294. Let i be g(1). Which is smaller: 3/1538 or i?
i
Let w be (-6768)/(-44) - (-30)/165. Let l be (2/12 - w/(-21))*22. Which is smaller: l or 166?
l
Let w(l) = -67*l + 1325. Let b be w(24). Do -283 and b have different values?
False
Suppose -5 = 3*h + 2*h. Let v be (-14)/(-4) + 115181/2002 + -61. Which is smaller: v or h?
h
Let n = -57 + 57.05. Let f = n - 7.85. Let x = -7.7 - f. Is x greater than 1?
False
Let n = -4/41603 - 90444886/374427. Which is greater: n or -243?
n
Let c be 7 + (-12 - -7) - 122*(-1005)/(-61310). Which is bigger: c or -1?
c
Let d(q) = -12*q - 11. Let o be d(7). Let u be 10/4*(-38)/o. Suppose -17 = -4*b - u. Which is greater: 2 or b?
b
Suppose 0 = -3*p + 4*x + 146, 4*p - 92 = -x + 90. Let q(c) = c**2 - 21*c + 41. Let f be q(19). Suppose -t + f*t = 92. Is t not equal to p?
False
Let i = 11458 + -46303/4. Let t = 7301/62 + i. Let l = t + -499/372. Which is smaller: l or 0.03?
l
Let y = 3.36 + -3.43. Let p = 3.611 - -72.309. Let t = p + -76. Do t and y have the same value?
False
Let y be (-6)/(-31)*(18 - 24). Let t = 73/124 - y. Suppose -3 = 2*h - 3*h. Are t and h unequal?
True
Suppose 0 = 8*p + 5914 + 10782. Let z be -6 - p/436 - (-10)/8. Is -1 equal to z?
False
Let v = 2845 + -3063. Which is smaller: v or -219?
-219
Let r = 475.209 + 3.991. Let x = r + -479. Which is greater: -45 or x?
x
Let o = 9739 - 224054/23. Which is greater: o or -1?
-1
Let w be 92*1/16 - 2/(-8). Let d = -0.74 + -0.16. Which is greater: d or w?
w
Let v(d) = -52*d. Let g be v(1). Let i be (-23748)/(-296850) - ((-5288)/(-50))/(-1 + 3). Which is smaller: g or i?
i
Let c be ((-6)/10)/(3/(-45)*1). Let s be (-6)/c - (-1294)/(-3). Let u be s/(-585) - (-4)/5. Are u and 3 equal?
False
Suppose 43*k + 3*i + 1173 = 49*k, -3*k = 5*i - 554. Are k and 195 nonequal?
True
Let m = 47 - 43. Suppose m*h = 3*l - l - 22, -2*l - 2*h - 2 = 0. Suppose 0 = -l*a - 0*a + 111. Is 38 at least a?
True
Let g = 168 + -673/4. Let j = 22 - 21.959. Let v = -2.059 - j. Which is smaller: v or g?
v
Let l(d) = 2*d**3 + 61*d**2 + 29*d - 30. Let s be l(-30). Let h be (-58)/21*9/3. Let j = h - -1051/126. Which is smaller: j or s?
s
Suppose 17*m = 2*m + 60. Suppose m*v + 107 = g, 3*g - 138 = 5*v + 6*g. Is v at most as big as -28?
False
Let c = -14253 - -14185.024. Let o = c - 0.024. Let z = o + 68. Which is smaller: 38 or z?
z
Let s be (-12)/(-4 + ((-2920)/(-91))/8). Let w be -3 + 6/(-4)*s/18. Which is smaller: w or 89?
w
Let w = 2.02 + -0.12. Let v = -6.9 + w. Let b = -5 - -4. Is v >= b?
False
Let p = 3889/228 + -47/19. Let q = -61/4 + p. Which is smaller: 142 or q?
q
Let j be ((-13)/(8203/14))/(-1). Which is bigger: j or 1?
1
Let l(n) = n**2 - 3*n + 2. Let g be l(2). Suppose m = 4*o + 85, -13*m + 10*m = 4*o + 65. Let j be (-41)/o + (-10 - -9 - 1). Which is bigger: j or g?
j
Let b = -555/2 - -278. Let a = 22.08 - 21.88. Which is greater: a or b?
b
Let u = 5538 - 315656/57. Suppose 325*a + 1223 - 1548 = 0. Which is bigger: a or u?
a
Let x = 2.2 + -0.2. Let g = 36 - x. Let u = g - 36. Are -2/9 and u unequal?
True
Let q = 1 - 1. Let f = q + 0. Let w = 1.0034 + -2.2034. Do w and f have the same value?
False
Let z(p) = -p**3 + 6*p**2 - 5*p. Let x be z(4). Let i be (1 - (2 - 3)) + (1 - 1). Suppose -5*k + 58 = -i*k - 5*n, 3*k - 48 = 3*n. Which is greater: k or x?
x
Let o = -10/1218083 + 56961215729/48723320. Let r = -1169 + o. Let h(i) = i**2 + 5*i + 1. Let x be h(-5). Which is bigger: x or r?
x
Suppose 7*a + x = 3*a + 342, 4*x = 4*a - 352. Suppose a*m - 88 = 94*m. Which is greater: m or -32/3?
-32/3
Let t be 168/6*(-2214)/(-21). Which is bigger: t or 2950?
t
Let d = 3.8995 + 233.9705. Let b = 238 - d. Which is smaller: b or -0.3?
-0.3
Let i be (46/(-6))/(24/(-360)). Are i and -0.8 equal?
False
Let j = 27002 - 26995. Which is smaller: j or 623?
j
Let q(r) = 4*r + 26. Let m(f) = -16*f - 105. Let i(a) = -6*m(a) - 26*q(a). Let h be i(-6). Let s = 0.09 + -0.2. Which is greater: s or h?
h
Suppose -4*m + 175 = a - 82, -35 = 5*a. Which is smaller: m or 26?
26
Suppose -4 = -v - 5*h, h = -91 + 92. Which is smaller: v or -6908?
-6908
Let i = 19596.5 - 19597. Let y be -3*12/27*3. Let c = 5 + y. Which is smaller: c or i?
i
Let g be (-1)/(-3) + 457864/(-1374366). Which is bigger: 1 or g?
1
Let v = 104.05026 + -0.05026. Let b = -111.3 - -0.3. Let a = v + b. Which is smaller: 0.07 or a?
a
Let x be (1 - 15/21) + -1*23. Let o = 898 + -920. Are o and x nonequal?
True
Let s(d) = -d + 2. Let c be s(-1). Suppose 112 = -c*i - 32. Suppose 43 - 231 = 4*m. Which is greater: m or i?
m
Suppose 0 = -5*m - 5*m - 330. Let k(t) = 6*t**3 + 6*t**2 + 6*t + 1. Let g be k(-2). Which is bigger: m or g?
m
Let j = 10465.08042 - 0.08042. Which is bigger: -1 or j?
j
Let f be 8*(-9)/(-36) + 465/1. Let z = f + -18211/39. Are z and 0 unequal?
True
Let z(k) = k**2 + 141*k - 2001. Let f be z(13). Let y be 4/((-3 - -5)/2). Let w be ((-6)/y)/((-198)/(-3)). Which is greater: w or f?
f
Let k = -1289/5 - 553/5. Is -369 smaller than k?
True
Suppose -189 + 5201 = -4*f + 2*y, 0 = 5*f + y + 6286. Which is smaller: -1251 or f?
f
Let l(d) = 3*d - 30. Let u(r) = 4*r - 30. Let p(b) = 6*l(b) - 5*u(b). Suppose 5*t = -4*k - 52, 3*k = 7*k + 3*t + 52. Let v be p(k). Which is smaller: v or 5?
v
Let v be (-16*13/468)/2. Is -648 < v?
True
Suppose 62 = -42*g + 44*g. Let u be (g - -6) + (0 - 0). Suppose 41*k = u*k. Is k != 1/6?
True
Suppose 5*b - 184 - 41 = -5*x, x = 4*b + 30. Let v be (108/(-72))/((-2)/56). Are v and x equal?
True
Suppose -m = g, -2*m + 5*g + 37 - 9 = 0. Suppose 2*l - 26 = 7*f - 3*f, -m = 2*f. Let j = l - -8. Are 2/3 and j unequal?
True
Let r = -230.0149 + 0.0149. Let s = -228.8 - r. Which is smaller: s or 8?
s
Suppose 0*q = 3*q + 9, 0 = 4*s + q + 55. Let i be s/(-65) - 39/(-5). Suppose -4*r + 15 = 2*o - 11, -2*o - 4 = -r. Does i = r?
False
Suppose -3*g + 0*k + 