 Let d = -293 + 296. Let m be (-59)/(1*(-9)/d). Do i and m have different values?
True
Suppose 57*j + 66*j + 179 - 56 = 0. Suppose 5*g = -9*g - 182. Which is bigger: g or j?
j
Suppose 134*n + 3*z + 51 = 132*n, -5*z - 110 = 5*n. Which is greater: n or -741/50?
-741/50
Suppose -439*j = -429*j. Is j less than 3/2539?
True
Let j be 190*4/(-3)*(-168)/280. Which is smaller: j or 2607/17?
j
Suppose 5*w - 643 - 327 = 0. Let k = 193 - w. Which is smaller: k or 8/45?
k
Let u = 103 + -178. Let w = u + 73. Is w greater than or equal to 91?
False
Let l = 58 - 54.3. Let v = 10.2 - l. Let y = v - 6.1. Which is bigger: y or 4/11?
y
Let i be (-349545)/60900 + (-2)/(-40). Is i < -5?
True
Suppose 0 = -32459*o + 32427*o + 3136. Let l be 98 - (0 - (4 + -2)). Is o > l?
False
Let t(k) = k**2 - 3*k - 1. Let h be t(-3). Suppose -4*o + 42 = 2*o. Suppose -8 - o = -u. Does u = h?
False
Suppose -93*w - 37*w + 57070 = 0. Is w < 441?
True
Let t be ((-12)/27)/(2/(-9)). Let s(u) = -u**3 - 2*u**t + 11*u - 6*u + 4 + 0*u + 3. Let d be s(-4). Are d and 19 unequal?
False
Let q = 1017 - 1540. Let l = q - -522. Which is greater: 3/106 or l?
3/106
Let y = 3169679/5109700341 + 1/529887. Are -1 and y unequal?
True
Let s = -70764655/85918 - 78/6137. Let y = -824 - s. Do y and 0 have the same value?
False
Suppose -3*m + 0*m + 813 = 2*d, -2*d - 4*m + 818 = 0. Let c = d - 7977/20. Suppose -130*i + 123*i - 7 = 0. Do i and c have the same value?
False
Let b = -42783/665 - -59/95. Is -65 greater than b?
False
Suppose -y - 5*n - 2 = 25, 5*y = 5*n - 165. Let h = 18268 - 18301. Which is greater: h or y?
y
Suppose 0 = -9*r + 13*r - 68. Suppose r = 7*i - 18. Let c be 64/6 + i - 6/9. Which is smaller: 18 or c?
c
Let r = 31 - -20. Let c be -12*17/(-68)*(-146)/6. Let u = r + c. Which is bigger: u or -24?
u
Suppose -3*p - 869 = -4*t, -2*p = -0*p + 3*t + 568. Let v be p/5 - (-18)/(-30). Let i = v + 57. Which is smaller: -1/18 or i?
i
Let i be -8*(91/(-14) - -5). Suppose 3*p = 6, -i*p = 4*t - 17*p + 30. Which is smaller: -17 or t?
-17
Let c = 2266 + -2201. Which is bigger: c or 45?
c
Let w(d) = 2*d**3 + 41*d**2 - 20*d + 24. Let t be w(-21). Suppose 4 = -z, t*v - 4*z - 15 = 1. Which is smaller: v or -7/50?
-7/50
Let c = -61 + 94. Suppose q + 3 = 5*k, -5*q + 2*k = k - c. Let p = -10 + 9.96. Are p and q equal?
False
Let f(a) = 4*a**2 - 10*a + 56. Let i be f(6). Suppose -2*p + i = 158. Is p greater than -9?
False
Let k = 31 + -30. Let h = 188 - -88. Let x be ((-6)/h)/((k + 1)/(-2)). Is 0 smaller than x?
True
Suppose -4*k - 4*y = -48, -2*k + 7 = 3*y - 18. Let x be -13 + 18 + (-56)/k. Which is greater: x or 1/2?
1/2
Let l = 45.4 + -81.7. Let f = l + 37. Let g = 0.5 - f. Is 0.02 equal to g?
False
Suppose -m + 0 + 43 = 0. Suppose 30*g - 1479 = -159. Does g = m?
False
Suppose 57*c + 33*c - 90 = 0. Are c and -2/14113 unequal?
True
Let h(t) = -t + 26. Let j be (-2)/(-8) - (-3375)/100. Suppose 25 = 35*y - j*y. Let r be h(y). Is -2/235 bigger than r?
False
Let j = 1502/2233 + -18/29. Let o = -288/385 - j. Is o equal to -1?
False
Let j = 197 - -462. Suppose 5*g = 101 + j. Suppose 5*p = 33 + g. Is p greater than or equal to 37?
True
Let g = -428.6 + 428.6. Which is smaller: g or 806?
g
Let q = -31 + 40.3. Let f = 76.3 - q. Which is bigger: -0.06 or f?
f
Let r = 20.3 - 0.3. Let f = -837 - -1268. Let c = 431 - f. Which is bigger: r or c?
r
Let n = 1000706/157 - 6374. Which is smaller: 0 or n?
n
Let w be (-3 - 52/(-16)) + 5/(-4). Which is smaller: w or -5/3232?
w
Suppose -33*k = -22*k - 220 - 660. Which is greater: k or 102?
102
Let z be 7 + -23 + 18 - (3 - 1). Is 2/1969 at least as big as z?
True
Suppose -3*n = 3*d - 21, -53 = 147*d - 152*d + 4*n. Suppose -21 = 4*i - 53. Which is bigger: i or d?
d
Let x be (-9)/(-2)*8/330*(-490)/49. Let h be ((-3 - -3)/3)/(-1). Suppose h = -5*g - 2*o - 14, -2*o + 1 = -g + 3. Is g not equal to x?
True
Suppose 720175 = 53*j + 286052. Which is greater: j or 8190?
j
Let i be (-8)/32 + 6/10 + 1953942/(-6440). Let z be -606*2/4*-1. Let q = z + i. Do q and 0 have different values?
True
Let z = -1.1453 - -0.0323. Let u = z - -0.113. Let p be -1 - (-6)/14*1. Which is bigger: u or p?
p
Let t = 249 + -113. Let u = 15 + -143. Let n = t + u. Which is greater: 1 or n?
n
Let j = 2582 + -2581. Are j and -1741 equal?
False
Suppose 8*h - 160 = -64. Suppose -5*s = -5*n, 0 = -2*n + 17*s - h*s + 3. Let f = -342 + 4444/13. Which is smaller: f or n?
n
Suppose -2*y + 394 = 316. Let k = y + -155/4. Is k at least as big as 31?
False
Let a = -24 + 28. Let c(i) = -2*i**2 + 4*i - 1. Let p be c(a). Let f = p - -10. Is -7 equal to f?
True
Suppose 31609 = -11*w - 2293. Which is smaller: -3084 or w?
-3084
Let m = 239.41 - 218.41. Let l = 5.4 - 6. Which is bigger: l or m?
m
Let v(i) = -4*i**3 + i**2 - 2*i + 2. Let a be v(1). Let x be 20/(-8)*(a + 1). Let p be ((-2)/(-1))/(30/25*x). Which is smaller: 5 or p?
p
Suppose 0 = -5*r + 4 + 6. Let n be ((-2)/5)/2 + 132/60. Let j be r - n - 1/(-4). Which is bigger: j or 2/5?
2/5
Suppose -2*q = -3*c + 71, 5*c - 22*q - 117 = -19*q. Let b(v) = v**2 + 26. Let y be b(0). Which is smaller: c or y?
c
Let y = 377 + -289. Which is smaller: y or 97?
y
Suppose 0 = -m - 694*c + 693*c - 782, -m - 3*c - 772 = 0. Is -783 greater than or equal to m?
True
Suppose -3*s = -5*y - 20, -5*s - 4*y + y + 22 = 0. Suppose -s*b + 56 + 30 = -4*r, -5*b - 5*r = -50. Suppose 5*c - 3*x - 20 = 49, 5*x = 10. Is c at most b?
False
Suppose -2*h - 26 = -6*h + 2*j, 34 = 5*h - 3*j. Let q be 1/h + 4/(-20)*1. Let f be 23*1/12 + -2. Which is bigger: f or q?
q
Let m = 24 + -9. Let b = m + -13. Let x = -6705/4 + 1677. Is x < b?
True
Let o be (5630/(-40))/((-4)/(-16)). Let m = o - -419. Is m at most -143?
True
Let a = 483 - 364.5. Let b = 118 - a. Let y = 30.5 + b. Which is smaller: 0 or y?
0
Let g = -369 - -370. Are -14/85 and g non-equal?
True
Let s = -50 - -62. Let a(j) = 2*j**3 - 2*j**2 + 3*j - 3. Let m be a(2). Which is smaller: m or s?
m
Let u = -170896 + 858294/5. Let d = u + -202072/265. Is d not equal to -1?
True
Let t(o) = -o**2 - 6*o + 1. Let x be t(-6). Let d = 1894 - 2778. Let c = -886 - d. Which is smaller: c or x?
c
Let t = 125 + -68. Let v = t + -66. Suppose -55 = -38*k + 43*k. Does v = k?
False
Let h = 364661834/4717 - 77308. Which is bigger: -2/5 or h?
h
Let h = 1 + -1. Suppose -4*f + 160 = -h*f + 3*q, f + 3*q - 31 = 0. Are f and 41 non-equal?
True
Let d = -1606 - -136. Is -1470 >= d?
True
Let b = 540 - 66. Let x = b - 9946/21. Which is smaller: 0 or x?
0
Let j be 6 - ((-2464)/70)/(3/75). Suppose -92*f + 90*f = -j. Is 444 bigger than f?
True
Let u = 77 - 67. Let i be (-8)/10 - 8/u*-6. Suppose -2*j = -i*h - 34, 3*h = -5*j - 2*h + 25. Is 9 smaller than j?
False
Suppose -3*l = -h - 20 - 21, 3*l + 4*h - 16 = 0. Suppose 6*q - q = 4*r - 24, 4*q - l = -2*r. Let j be 42/(-112) + (-1 - 102/(-16)). Which is greater: j or r?
r
Let n be (-23)/(-851)*(8449/(-45441) - (-2)/11). Which is smaller: n or -1?
-1
Let q = -35 + 34.956. Let y = -0.044 - q. Let x = 0.073 - 0.083. Which is bigger: x or y?
y
Let a(t) = -9*t - 6. Let k(z) = 2*z - 11. Let p be k(4). Let n be a(p). Suppose n = -7*g + 147. Which is bigger: 16 or g?
g
Let q = -0.0085 - 227.9915. Let n = q - -230. Is n smaller than 5/21?
False
Let k(n) = -8*n + 66. Let o be k(17). Let d be o/(-420) - (-491)/6. Is d greater than or equal to 84?
False
Let r be (-3*(-4)/373950)/((-13)/(-78)). Which is greater: r or 0?
r
Let i = 2016.012 - 2091. Let q = -0.012 + i. Let w = q + 69. Are w and 1/4 equal?
False
Let c be (-100)/(-7) + 310/(-1085). Let n = -16391/21 + 2381/3. Is c at least as big as n?
True
Let y be (-3 + 5 + -4)*-1. Let l be 38/(-57) + y/3. Is l greater than or equal to 2/209?
False
Let d(v) = 3*v**2 + 5*v + 4. Let w be d(-2). Let n be (-92)/230 - w/10. Is 5/54 at least as big as n?
True
Suppose 10*s = 11*s - 772. Let o = -748 + s. Which is smaller: o or -5?
-5
Let p = -1.4643 - -1.222. Let z = -0.0423 - p. Let h = -0.5 + 3.5. Which is smaller: z or h?
z
Let a(s) = 5*s + 57. Let n be a(-11). Suppose -5*m + 1 - 51 = 2*j, -30 = 5*m - n*j. Which is greater: -2 or m?
-2
Let p = 301 + 1479. Which is smaller: p or 1781?
p
Let j(u) = 3*u**2 - 2*u + 2. Let k be j(1). Suppose -x = -5*s - 0*x + 61, 35 = k*s + x. Suppose s = -13*h + 10*h. Which is smaller: h or -1?
h
