
True
Let d be 44/4 + (-2 - -1). Suppose -d*t - 162 = -4*t. Let f be (-51)/t + -4 - -2. Which is smaller: -6 or f?
-6
Let w(m) = 8*m**3 + 17*m**2 + 39*m + 276. Let r be w(-7). Which is greater: -1906 or r?
-1906
Let u be 12/9 - 5*(-13)/(-78). Let y = 12.616 + -0.016. Is y greater than u?
True
Suppose 0*z + z - 5*k = 21, -k - 9 = -5*z. Let j be z*(3 + -4) - -5. Let y be 9/12 - (-1)/j. Do y and -2/111 have different values?
True
Suppose -6*t = 73 + 737. Which is greater: t or -125?
-125
Suppose n = k - 47 + 50, -2*k - 2*n + 2 = 0. Which is greater: k or -45/47?
-45/47
Let l = 2162/25 - 690028/7975. Which is smaller: l or 0?
l
Suppose 8*s - 3948 = 20*s. Let g = s + 383. Which is smaller: g or -1/4?
-1/4
Let d(f) = 191*f - 15 + 199*f - 406*f. Let w be d(-1). Is w bigger than -366?
True
Suppose -12*c + 22 = 82. Let b be (-96)/240 - (-18)/c. Suppose 0 = 3*t - 5 + 23. Is b < t?
False
Let p = 6/19 - 87/95. Let k = -126663 + 126649. Which is bigger: k or p?
p
Suppose 5557 = -3*i + 129 - 3560. Is -2998 >= i?
False
Let w be -2*(120/48 - 2). Let h be (-2*9/114)/(-3). Which is smaller: w or h?
w
Let u = 21 + -5. Let x(a) = -a**3 + 5*a**2 + 5*a + 10. Let q be x(6). Suppose -2*c - 4*p + 14 = -u, q*c - 10 = 2*p. Are c and 8 unequal?
True
Let c be (-2)/(-8) - (-216)/(-608). Let z = 68 + -334/5. Let a = z - 7/5. Which is smaller: c or a?
a
Let h(d) = 82*d + 9. Let x be h(1). Suppose -2*y + 1 = -x. Which is bigger: 48 or y?
48
Let c = 4.124 + 0.116. Let k = c - -0.86. Let w = k - 5. Is w > 3.1?
False
Let p(y) = -124*y - 1363. Let a be p(-11). Which is smaller: -1/8392 or a?
-1/8392
Suppose 0 = -7*h + 2*h - 375. Let u = -11543 - -11470. Which is greater: u or h?
u
Let k = 12126 - 11401. Which is bigger: 714 or k?
k
Let g(z) = z**3 - 15*z**2 - 6*z - 106. Let u be g(16). Which is smaller: 61 or u?
u
Let r be (2 + (-3039)/16)/2. Let g = r + 94. Let o = 18682 + -18683. Is g greater than o?
True
Let j(f) = f**2 - 32*f. Let w be j(32). Suppose w = -269*q + 272*q + 21. Which is smaller: q or -92/11?
-92/11
Let f = -4.3 + -2.98. Let z = 3.28 + f. Is 12 < z?
False
Suppose 0 = -594*h - 181972 + 21592. Let k = 536 + -805. Which is smaller: k or h?
h
Let t be (-848)/1320 - (-2)/5. Let l be (-2 - 1)*(-4)/12. Which is smaller: t or l?
t
Let d = -2603 - -2582. Let s = 6997 + -49121/7. Which is greater: d or s?
s
Let l(u) = -133*u + 24. Let r be l(-8). Let g be (-8)/r*3/(-6). Is g greater than 1?
False
Let r be 818*(138/3105 - 74/3690). Which is smaller: r or 19?
19
Let s be 1/(-2)*0/4. Suppose -2*c - 3*c - 320 = s. Let u(x) = -17*x**2 - 121*x + 56. Let t be u(-8). Are c and t unequal?
False
Let w = -5088 + 31543/6. Which is smaller: w or 170?
w
Let k = 192/287 + -4/41. Let z = -30.054 - -30. Let t = z - -0.054. Which is bigger: k or t?
k
Let l = -55/3 + 18. Let p = -55163 + 55175. Is p >= l?
True
Let s be (-15)/(-9)*(-756)/(-210) + -6. Let n be -11*(0 - (-2)/(-6)). Are s and n equal?
False
Let x(i) = -i**3 + 8*i**2 - i - 4. Let z(v) = v**2 - v - 1. Let c(k) = -x(k) - 2*z(k). Let p be c(5). Which is smaller: -105 or p?
-105
Let c = -303 + 302.435. Let u = 0.555 + c. Which is greater: u or -0.2?
u
Let c = 0 + -1. Suppose -2*d + 4*n - 16 = 0, -13*n + 2 = 5*d - 9*n. Let v be (-686)/210 - (d - 1). Which is bigger: v or c?
v
Let h = 11 - 10.2. Let k = 14.579 - 14.5. Let c = k + -2.079. Which is smaller: h or c?
c
Let a be 6*(8 - (-5649)/(-1421) - 4). Which is bigger: 0 or a?
a
Suppose 203 = -4*n + 5*n + 2*p, -3*n + 2*p + 649 = 0. Is 218 >= n?
True
Suppose 3*k - 47 = 4*p, k + 5*p + 53 - 37 = 0. Let s be k/(-6)*(-176)/(-1188). Which is smaller: 2/13 or s?
s
Let r(x) = -11*x**3 - 144*x**2 - 4*x + 61. Let k be r(-13). Is k at most as big as -767/14?
True
Let t(h) = -2*h - 21. Let q be t(-9). Suppose -w - 5*l = -2*w + 11, -5*w - l + 3 = 0. Let a be -2*(w + 4/(-8)*1). Are a and q equal?
False
Let f = 0.092 + 4.308. Let d = f + -8.4. Let j = -10 - d. Is -0.3 greater than or equal to j?
True
Let o be 4/6 + 1476/(-2295). Suppose 7*y - 27799 = -27792. Is y less than o?
False
Suppose 15*v - 16*v = 0, 0 = -5*i + v + 740. Let w = 175 - i. Which is smaller: w or 29?
w
Let m = -0.65279 + 0.05279. Is 668 > m?
True
Suppose 4*l - j = -153, 2*l = -3*l + 3*j - 186. Let s = -21 - l. Suppose s = -a - 0. Which is smaller: -20 or a?
-20
Let c be (3/27 + (-26588)/180)/((-3)/20). Is c smaller than 0?
False
Let u = 0 + 18. Let j = 479.243 - 479. Let w = 0.757 + j. Which is smaller: u or w?
w
Suppose 2*m = 217 + 2203. Let f be -3 - (-2 + m/75). Let l = 101/6 + f. Is -1 less than or equal to l?
True
Let i = -1026.2 + 1026. Which is bigger: 572 or i?
572
Let g be (-1)/(-2) - 15/(-26). Let m(h) = h**2 + 12*h - 26. Suppose 0 = 2*j - 4*p + 24, 27 = -0*j - 2*j + p. Let n be m(j). Is g smaller than n?
True
Let c be (54/30)/(((-561)/220)/17). Let s(q) = -q**3 - 6*q**2 - 5*q - 5. Let j be s(-4). Which is smaller: c or j?
j
Let r be 2/6*(-4)/(60/9). Are -140 and r nonequal?
True
Let s be 8/(-44) + -974*(-12)/(-88). Let a be (1 + -7)*(9 + s/14). Which is greater: 6 or a?
6
Let w be (-13 + 18)*8/10. Suppose w = u, -2*t - 3*u + 16 = -u. Suppose -17 - t = 3*q. Which is smaller: 0.2 or q?
q
Suppose 4*g + g - 161 = -3*x, 0 = -5*x + g + 231. Suppose 43*c + 20 = x*c. Suppose 0*k = -k - y - c, y + 5 = -3*k. Is k at least -5/26?
True
Let s = 382.4 - 477.44. Let o = 96 + s. Let m = o + -0.26. Is 2 less than or equal to m?
False
Let i = 315 - 346.1. Let j = 108 + i. Let q = -77 + j. Which is greater: 0.2 or q?
0.2
Let h = -8146.18 - -8146. Let s be (2/(-21))/((-18)/(-42)). Which is bigger: s or h?
h
Let t = -308 - -302. Let j be (1/(-21))/(170/(-24) - t). Is 1 smaller than j?
False
Let y = -852 + 5996/7. Let g = 481 - 1441/3. Which is smaller: g or y?
g
Let x = -46.3657 + -3.8123. Let h = x - 0.622. Let l = 51 + h. Is 3 <= l?
False
Let y = -3899/458 + 3/229. Let i = 155 + -165. Does i = y?
False
Suppose 4*z - 20 = 5*g - g, 0 = -3*z - 5*g + 31. Let v(w) = 5*w + 20*w**2 - 13*w**2 - 8*w**2 + 11. Let l be v(z). Is l less than -8?
False
Suppose 20*o = -2*g + 25*o + 864, g - o - 423 = 0. Which is smaller: g or 412?
412
Suppose -8*t + 135 = 7*t. Let w be 3*(-6)/t + (-5)/(-4). Let p = -0.968 + -0.032. Is w at most p?
False
Let v = 575 + -611. Let s(o) = -2*o**3 - 9*o**2 + 3. Let y be s(-6). Suppose 13*w = 16*w + y. Do w and v have the same value?
False
Let w be (0/2)/(196 + -201). Which is smaller: 6/7105 or w?
w
Let a = -333.96 + 335. Let s = 54 + -53.26. Let o = s - a. Which is bigger: 11 or o?
11
Let y(z) = -z**2 + z + 43. Let c be y(7). Let t be (3/c - (-3928)/(-984)) + 1. Let a = t - -112/1353. Which is smaller: 0 or a?
0
Let i be (3252/(-24))/(((-3)/2)/3). Let z = i - 273. Is -130 equal to z?
False
Let y = -44 - -70. Suppose -2*q + 4*h = y, 5*q - 3*q + 11 = -h. Which is smaller: -9 or q?
-9
Suppose -20 = 30*r - 34*r. Let m = 7 - r. Let n be (m/3)/(((-4)/2)/6). Is -2 at least as big as n?
True
Let p = -292.53 + 294. Let m = -1.45 + p. Which is greater: m or -4?
m
Let f be (0 - (-2)/(-6))/((-65)/2535). Suppose -429 + 442 = f*i. Is -8/23 bigger than i?
False
Let f = -151 - 7. Suppose 5 + 1 - 45 = -39*d. Which is bigger: f or d?
d
Let h = 131.6 + -130.13. Does h = -1?
False
Let a be 4/(-14) - (-52)/84. Suppose -11 = 12*u - 13*u. Suppose -5*v - 11 = -3*s, -4 = -s - v - u. Which is smaller: s or a?
s
Let i = 11336/107519 + 32014139812/27202307. Let v = -1177 + i. Let w = 9363/506 + v. Is 20 smaller than w?
False
Suppose -2*r + 3*s - 2561 = -4*r, 0 = 2*s + 10. Suppose 1306 = -3*d + r. Which is smaller: d or -9/2?
d
Let t be 2/(-6)*(-6510)/(15/3). Is t smaller than 0?
False
Let g(z) = z**3 + 89*z**2 + 81*z - 549. Let y be g(-88). Do 1545/23 and y have the same value?
False
Let h = -6 - -11/2. Suppose 129583 = -508*u + 35095. Is h < u?
False
Suppose o = 4*x - 67, -5*x + o + 95 = -4*o. Let i = 10 + x. Let d be (i/12)/((-1)/(-2)). Is -1 at most as big as d?
True
Let h(a) = 86*a - 5. Let q be h(-1). Let p = q + 143. Let b = -103/2 + p. Which is greater: 0.3 or b?
b
Let a = 555 - 381. Let u = a - 314. Which is smaller: 0.1 or u?
u
Suppose 2*i + 19 = 3*u + i, 0 = -3*u + 4*i + 13. Suppose u*h + 540 = 11*h. Suppose -3*k - 2*k + h = 0. Is 27 smaller than k?
False
Let t = -4.796 + 4.84. Let v = -0.956 - t. Is v greater than or equal to 0.113?
Fals