 and 7/18 have different values?
True
Suppose -32 = -4*y - 0*y. Let t be (-10)/25 + (-34)/(-10). Suppose -5*k + 0*m = -t*m - 43, -k - 3*m = -23. Are y and k equal?
False
Let r = 13859/644140 + -2/23005. Is r less than 0?
False
Let l = -251/712 - 2/89. Let j = 37.3 + -6.4. Let c = -31 + j. Which is smaller: l or c?
l
Let a be (1 + 1)*47/(-94). Is a smaller than -1/969?
True
Suppose 201*l = 179*l - 1386. Is -69 != l?
True
Let s = 13328 + -6679. Which is bigger: s or 6648?
s
Let p be (4 + (-12)/9)/(4/6). Let y be p/(20/85) + -5. Suppose -55*n = -58*n - y. Which is bigger: -2 or n?
-2
Let h = -15136 - -15136. Is h at most as big as 1/6978?
True
Let w = -19077317/1195653 - -1803/113. Are 1 and w equal?
False
Let f = -44.8647 + 44.9. Let r = 1.0063 - f. Let d = r + 0.029. Is -2/13 < d?
True
Let c be -3*1*14/21. Let b be ((-3)/(-4))/(10*(-2)/(-240)). Suppose 4*x - 28 = k, 0 = 11*x - b*x + k - 20. Which is smaller: x or c?
c
Let z = 504303/37 + -13629. Let y be 0*(5610/280 + -20). Is z smaller than y?
False
Let k = -926837/17 + 54545. Is k bigger than 26?
False
Let w = 66 - 88. Let d be -18 - 1/((-6)/(-9)) - 1. Which is greater: d or w?
d
Suppose -2592*c = -2388*c - 816. Let b = 0.14 + 0.21. Which is smaller: b or c?
b
Let c = 0.186 + -118.086. Let o = -117 - c. Is o at most -10?
False
Suppose 0 = 4*y + 809 - 869. Suppose -26*v + 23*v + 3*d = y, 20 = 5*d. Are v and -26 nonequal?
True
Suppose -5*g = 2*v + v + 5, 2*v - 14 = g. Let p(j) = 37*j - 218. Let r be p(6). Let h be 2*8/4 - r. Is v greater than h?
True
Let b be 45960/(-345)*1*-64. Let g = 8522 - b. Which is smaller: -4 or g?
-4
Suppose 127 = 2*f + 5*v, -3*f + 3*v = -f - 87. Let x = f + -6. Suppose -3*c - 92 = 5*j - 4*c, -3*j + 4*c - x = 0. Do -20 and j have the same value?
False
Suppose 0 = -494*u + 508*u + 2982. Does u = -185?
False
Suppose 7*a = 3*a. Suppose -5*h + 1077 = 3*t, -3*t + 5*h = -555 - 552. Let j be (t/(-455))/(66/10). Is a > j?
True
Suppose 5*b + 239 = -3*i, -4*i - b - 435 = i. Let j = -86 - i. Is 2.7 greater than or equal to j?
True
Suppose 0 = -m - 0 + 2, 222 = 4*l + 5*m. Let a = 53 - l. Let z(i) = -i**2 + i - 4. Let t be z(a). Do t and -2 have the same value?
False
Let y = 336 + -337.49. Let p = y + 2.49. Let m = 248/5 - 49. Which is smaller: m or p?
m
Let v(d) = -3*d + 19. Let p be v(10). Let i be (-18)/8 - (-38855)/(-1636). Are p and i nonequal?
True
Suppose 0 = -v - 5*h, 0 = -3*v - 3*h + 6*h. Let z = 5245/200564 - 1/3458. Which is smaller: v or z?
v
Let j = -5754 + 5541. Which is smaller: j or -2?
j
Let k be (66285/11061 + -6)*(-17)/51. Which is greater: k or 1?
1
Let h = 270 - 172. Let j = 1034 - 1021. Suppose -6 = -j*k + h. Is 8 equal to k?
True
Let j = -74 + 71. Let y be 1 + (-3 - (74 + -2)) + j. Let h = y + 75. Which is smaller: h or -7?
-7
Let h = 59 - 57. Suppose -d + h*d + 5 = -x, 0 = -2*x + 3*d - 5. Let y be x/(-28) - (-229)/(-1505). Is y >= 0?
False
Let h = -45 - -44. Let r = -0.29 - 3.71. Let j = h + r. Which is smaller: j or -1/3?
j
Let i(x) = -23*x - 20 + 104 + 24*x**2 + x**3 - 33. Let f be i(-25). Let o be 1 + -2 - (-174)/178. Which is smaller: o or f?
o
Let s = -325714/15 + 21706. Which is smaller: -7 or s?
s
Suppose m + 8 = 4*c, -4*c + 5*c = -2*m + 2. Let i be -4 + 4/((-480)/5418). Let s = -244/5 - i. Is s at least as big as m?
True
Let y = -431 + 456. Let n be ((-10)/26)/(5 - 130/y). Is 1 at most n?
True
Let h be ((-6)/(-2))/(14/(2394/27)). Suppose 5*v - h*s - 770 = -17*s, 0 = 3*v - s - 462. Which is smaller: v or 153?
153
Let u be (-4 + 14 - 13)/((-15)/(-48))*-60. Which is smaller: 566 or u?
566
Suppose 4*w - k = -56, 2*w - 20*k + 15*k = -10. Let g be 5*18/w - 1 - 0. Suppose -4*s = -5*a - 70, 5*a - s + 55 = -0*s. Is g at least a?
True
Let w = -91 + 157. Suppose -n = 5*s + 378, -s + 6*n - w = 11*n. Is -75 < s?
False
Suppose 3*z + 2*z = -u + 21, 3*z - 27 = 3*u. Suppose -h - z*h = -30. Suppose 4*l + h*k = -46, 4*l + 0*k = 5*k - 26. Is -54/7 at least l?
True
Let r = -25867 - -25882. Do -39 and r have the same value?
False
Let l = 74.14 - 74.04. Do l and -180 have different values?
True
Let g be ((-10)/20*(6 + -2))/2. Suppose -27 = z - 4*a - a, -2*z - 9 = -a. Let f be 0/z + (-2)/(-25). Are f and g non-equal?
True
Let n be (44680/200)/((-5)/25). Which is smaller: -1118 or n?
-1118
Let n = -20 + 12. Suppose -6*r - 301 = -49*r. Let g = r + n. Is g greater than or equal to -1/30?
False
Suppose -65793 + 325196 = 110*t - 262437. Which is smaller: 2/5 or t?
2/5
Let x = -19468 - -19463. Let m be 0 + (-216)/111 + 2. Which is smaller: x or m?
x
Suppose 6*a + 13*a - 11248 = 0. Suppose 16*v - a = -21*v. Suppose -4*z = -3*j + 58, 5*j - 92 = 5*z - 3*z. Which is smaller: v or j?
v
Let i be (-2)/8 - (-110)/(-8). Suppose -1200 = 113*n + 5*n + 122*n. Do n and i have the same value?
False
Suppose -4*x + 50 = 3*l, 0 = 3*l - 0*l + 6. Let f(s) = 46 + x*s - 7 - 12*s. Let r be f(-17). Which is bigger: r or 0?
r
Let b = -414.07 - 0.93. Let w = -450 - b. Are -0.3 and w non-equal?
True
Let o = 1035 - 555. Let w = o + -465. Which is smaller: w or 0.1?
0.1
Let p(r) = 3*r - 77. Let h(k) = -k + 40. Let q(d) = 7*h(d) + 3*p(d). Let m be q(20). Are m and 90 unequal?
True
Let f be 25/(-1 + 6) + 745. Let c = 20242/27 - f. Which is greater: c or 1?
1
Let u(h) = 42*h - 793. Let g be u(9). Which is smaller: g or -412?
g
Let o(j) = 3*j**2 - 20*j - 146. Let p(u) = -u**2 + 6*u + 48. Let b(m) = -3*o(m) - 8*p(m). Let w be b(16). Which is smaller: w or -28/3?
w
Let f = -244 - -247. Suppose d = -f*d + 20, 2*u + 2*d - 1116 = 0. Is u less than 553?
False
Let u(v) = 9*v - 392. Let z(t) = 9*t - 395. Let q(h) = 6*u(h) - 5*z(h). Let a be q(42). Is -6/41 smaller than a?
True
Let t = -52 - 29. Let c = 80 + t. Which is smaller: c or -45?
-45
Suppose 4*s - 6 = 26. Suppose 951 = 11*m - 50. Let r = m + -84. Is r smaller than s?
True
Let i = -61.97 - -65.4. Let d = i + -3.72. Which is smaller: 7 or d?
d
Let z(m) = -4*m**2 + 8*m + 4. Let a be z(-3). Let t be a/(-24) + ((-7)/3 - -2). Suppose -5*i = 2*q - 0*q - 173, -i = -t*q + 143. Is 73 <= q?
True
Let n = 149 - 149. Let s = 1.01 + -4.01. Which is bigger: s or n?
n
Let f(w) = 2*w**2 + w - 51. Let c be f(-5). Let j be -62 - (c + 2/(4/18)). Which is greater: -63 or j?
-63
Suppose 7*g - 27 = -6. Suppose -4*z = 8, -135 = 3*q - g*z + 1026. Let y = q - -14783/38. Which is smaller: y or -1?
-1
Let r = 0.349 - 0.579. Which is greater: -204 or r?
r
Suppose -f + 5*f - 3*i = 2154, 0 = -5*i + 10. Suppose 0 = 5*a - 17*a - 14*a + 21422 - 7408. Is f bigger than a?
True
Suppose 3*a + 5*n + 382 = 0, -6*a = -4*n + 488 + 206. Is 0 at most as big as a?
False
Let h = 1 - 0.6. Suppose 22 = -3*m + b, 12*m - 5*b = 17*m + 30. Let c be (-102)/(-27) - (m - (2 - 13)). Which is smaller: c or h?
c
Suppose -11*u + 6*u = 70. Let x(d) = -d**3 + 6*d**2 + 6*d - 7. Let q = -122 + 129. Let r be x(q). Is u > r?
False
Let a = -3574723086/17005 + 210216. Is -1 equal to a?
False
Let x be ((-8)/6 - 0)*165/(-6030). Is 0 not equal to x?
True
Let k = 3209/21 + -153. Let d = 25/168 + k. Suppose -3*f + q - 13 = 3*q, -f + 2*q + 9 = 0. Are d and f unequal?
True
Let r(f) = -f**3 - 7*f**2 - 4*f + 7. Let k(w) = -2*w + 11. Let o be k(8). Let j be r(o). Let m = 37 + j. Is m not equal to 15?
True
Let g = 70115/3 - 23779. Are -407 and g non-equal?
True
Let a = 786 - 862. Let f = -112 - a. Is -37 != f?
True
Suppose -25 = -5*i, -3*q + 40813 = -5*i + 10175. Is q greater than 10222?
False
Let m(y) = 2*y**2 + 19*y + 9. Let h(b) be the first derivative of -b**3/3 + b**2 + 6*b - 8. Let f be h(-3). Let v be m(f). Is v less than or equal to 2/5?
True
Let v be (-1)/(15/340*-4)*3. Let b be -7 + 5 + 15 - 2. Which is smaller: v or b?
b
Suppose 9*p - 22377 = 3*t + 4*p, 5*p + 29906 = -4*t. Is -7470 != t?
True
Let r = 539 + -497. Let x be (-11)/(297/r)*(1 - -2). Is 1/3 not equal to x?
True
Suppose 2*l - 603 = -l. Let p = 116 - l. Let r = -82 - p. Which is smaller: r or -7?
-7
Let n(y) = -5*y + 132. Let i be n(26). Suppose -3*m + c = i*c + 113, 0 = 2*c + 10. Which is greater: m or 0.8?
0.8
Suppose -s + 0*s = 3, -s = 4*o - 37. Suppose 13*w - o = 8*w. Let t = 28/39 - -205/312. Which is smaller: t or w?
t
Let b = 4315/35931 - 23/177. Is b < -15/8?
False
Let p(g) = -g**2 - 5*g + 16. Let u be p(8). Let w = -7 + u. Let a = w - -60. Is -34 < a?
Fal