01. Let g be 4/3 - 3/9. Which is smaller: r or g?
r
Let j = -142 - -166. Let r be 2 + j + -24 + (0 - 1). Which is smaller: 2/205 or r?
2/205
Let c be -4*(-6)/(-48) + 27/6. Suppose 3*q + c*r - 546 = 969, 0 = r. Is q less than or equal to 505?
True
Suppose 0 = 5*r + 5*o - 10220, r + 2*o - 2152 = -104. Suppose -6*h = 28*h + r. Is -65 less than h?
True
Suppose -3*o + 0*o + 6 = 0. Suppose 5*w = o*t + 7, 10*t - 2 = -4*w + 8*t. Is w smaller than -0.28?
False
Let x = -16950693901/150 - -113005124. Let t = -498 + x. Let v be 55 + -57 - (-1)/1. Do v and t have different values?
True
Let z = -35.7 - -36. Let m = 30.2 - 27. Let n = -3 + m. Which is smaller: n or z?
n
Suppose -4*m + 7*m - 36 = -3*s, 5*m = -2*s + 45. Let k be m/1 - (8/(-2) - -7). Suppose 2*o = -k*b + 32, -2*b + 3*o + 6 + 10 = 0. Which is greater: 10 or b?
10
Suppose -3*x = 2*f - 8, 6*x - 2*f = 6 - 14. Is x greater than or equal to 22/39?
False
Let t(f) = -6*f**3 + 7*f**2 - 14*f + 14. Let n be t(4). Is n equal to -298?
False
Let c(g) = -g**3 + 23*g**2 + 24*g + 7. Let a be c(24). Let u be 8 - (-4 + 3 + 1 + -1). Which is smaller: u or a?
a
Suppose 10*g = 3*h + 5*g + 333, g - 222 = 2*h. Let s be ((-37)/h)/((-3)/(18/11)). Which is smaller: -8/7 or s?
-8/7
Let n be 7/56*-6 - 5967/(-4). Is n at least 1489?
True
Let s be (-4)/(-26)*(-3)/(-6). Let x be (-430)/(-602)*(-7)/(-2)*4/(-65). Is x not equal to s?
True
Suppose 8*k = 3*k + 460. Let b = k + -90. Suppose 0 = 5*n + 1 + 9, -b*d - 2*n - 46 = 0. Is d at least -23?
True
Let t = -6.426 + 6.926. Which is smaller: t or 1.238?
t
Suppose 0 = -v, -8*v + 9*v = 3*w + 186. Which is greater: w or -29?
-29
Suppose 4*u + s = 255, -s = -14*u + 9*u + 321. Is 56 less than u?
True
Let c be 91470/(-48)*2/5 + -3. Let g = -760 - c. Which is greater: 5 or g?
g
Let k(g) = -67*g + 1500. Let a be k(26). Which is smaller: -260 or a?
-260
Suppose -2*i = 5*u - 0*i + 35, 5*u = 5*i - 35. Let j be (-2 - 660/(-3))/(1 + u). Are -36 and j unequal?
True
Let n = 51383/1386 - -71/126. Let c = -2297/66 + n. Let d = -1 + 2. Is d less than c?
True
Suppose -2*q - 72 = -4*q. Let o be (88 + 58 + 10 + 0)/(66/15). Which is greater: q or o?
q
Let p = 6314.3 - 6314. Is -18.25 smaller than p?
True
Let k = 222 + -234. Let i = k - -28. Which is smaller: 0.1 or i?
0.1
Let j be 1613/5 + (-16 - 1078/(-70)). Is 964/3 less than or equal to j?
True
Suppose -3*c - 2*c = -20. Let p = 0.03229 + 0.06371. Which is greater: p or c?
c
Let m = 20.5 - 20.3. Is m <= 2/1317?
False
Let f = -39 + 48. Suppose f*u - 3*u - 12 = 0. Suppose 5*j + 25 = 0, -4*j = -u*q + 14 + 16. Which is bigger: q or 1?
q
Let y = 18 - 13. Suppose 0*q = y*q + 10, -15 = j + 3*q. Let w be ((-459)/(-51))/(-2 - -1). Is w greater than j?
False
Let u = 118 + -113. Suppose -u*v + 152 = 27. Let n = -2/73 - -77/146. Is v greater than n?
True
Let f = 8 + 822. Let k = -830 + f. Which is smaller: k or -67/7?
-67/7
Let k = 2221/180 + 1851953/1260. Is k < 1481?
False
Let r = -6 + 8.14. Let b = 2.24 - r. Which is smaller: b or 2/21?
2/21
Let j = 74 - 81. Let w = j + -82. Let t = 60 + w. Is t != 1/2?
True
Let f = -418 + 434.7. Let h = f + 3.3. Let s = h + -17. Is 6 less than or equal to s?
False
Let m = -11192 - -11235. Is m smaller than 7/22?
False
Let a(o) = -o**3 + 7*o**2 - 1. Let c be a(7). Let l = -111173 - -6225853/56. Let u = l - 35/8. Which is smaller: u or c?
u
Let a = -16611 + 51461/3. Are a and 542 nonequal?
True
Let s be 3*((-416)/54)/(-4). Let a = 290 + -283. Are a and s unequal?
True
Let c = 31968 - 24302. Is 0.1 > c?
False
Let z(x) = -x**3 - 5*x**2 + 6*x + 12. Let s be (-4 - (-22)/6)*15. Let t be z(s). Let q be (3 - 2)/t*16. Is q < -1?
False
Let z be ((-3)/(-4))/(6*(-1)/(-24)). Suppose 15 = -5*n, -14*n + 10*n - 450 = z*q. Is q at most as big as -145?
True
Let n be -931 - ((-132)/(-154))/(3/(-21)). Is -4 less than n?
False
Let g(c) = -c**3 - 14*c**2 - 14*c - 16. Let y be g(-13). Let m = y - 111. Is -114 equal to m?
True
Suppose -5*y - 79 = 5*p + 1, -50 = 3*p + 5*y. Let u = -15 - p. Is u <= -11/14?
False
Let v be (-17)/4 + 4 - 249/12. Suppose 63*z - 65*z + 6 = 0. Let q be ((-4)/(60/v))/(2 - z). Is 0 bigger than q?
True
Let d(j) = -j**2 + j + 1. Suppose -5*z + 0 + 5 = 0. Let l be d(z). Suppose 100*t = 119*t. Which is greater: t or l?
l
Suppose 29*y = 129 - 526 - 734. Is 64 greater than y?
True
Let f(m) = 15*m**2 - 7*m - 12. Let c be f(-6). Suppose 0*n + c = 15*n. Are n and -3 equal?
False
Let y = 208 - 0. Let c = 194 - y. Let u be 3*2/3 + -15. Is c equal to u?
False
Let m = -313 + 410. Let n = -12512/129 + m. Does 0 = n?
False
Let o = 4.88 + -4.2. Let c = -33.32 - o. Let j = -35 - c. Is -5/11 at most j?
False
Suppose 0 = -7*o + 6*o - 42. Suppose -6*g = 29 + 139. Let p = g - o. Is p smaller than 14?
False
Let l be (18/(-8))/(21/(-56)). Suppose -1 = -5*z - l. Which is bigger: 1/44 or z?
1/44
Suppose 18*j + 20*j = -0*j + 7030. Is 185 greater than j?
False
Let a(q) = -1161*q - 9289. Let y be a(-8). Is -6/1379 at least y?
True
Suppose -9*c = -7*c - 266. Let y = c + -1555. Let s = y - -17051/12. Is s greater than or equal to -1?
False
Let k = -0.093245 - 6.906755. Let w = -0.28 - 0.02. Which is smaller: k or w?
k
Let z be (-2353 + 36/3)*2. Is z <= -4682?
True
Let d be 4 - -30*48/(-9). Let b = 1089/7 + d. Is b less than or equal to -1?
False
Let h = 6327.1 + -6327. Which is bigger: h or -5289?
h
Let s(i) = -i**3 + 5*i**2 - 5*i + 4. Let j be s(4). Suppose j*c + 5*m + 11 = 4*c, -3*c + 5*m = -7. Suppose -3*x + 2*x - c*n = -15, -5*x - 25 = -5*n. Is 3 < x?
False
Suppose -78 = -304*w + 265*w. Suppose 2*h + 14 = 3*h. Do w and h have the same value?
False
Suppose 0 = -3*u - 2*u + 65. Let h(w) = 2*w**2 - 24*w - 26. Let x be h(u). Let i be 34/110 - 2/5. Which is greater: x or i?
x
Let q = 12.07 - 0.07. Let o = 25067.8 - 25068. Which is smaller: q or o?
o
Let l = 4230 - 2885. Which is smaller: l or -3?
-3
Let x be (-559)/(-8)*(-114 + 122). Are 567 and x non-equal?
True
Suppose -2*v + 2*p = -8, -19 = -130*v + 127*v - 4*p. Suppose t - 48 = -3*t + v*g, 3*t = -2*g + 36. Let c be 1 - (-3)/(18/64). Which is smaller: t or c?
c
Let s = -14.9 + 4.9. Let l = -4 - s. Is l != 6?
False
Let y = 8 - 6. Suppose 2*h + y = 18. Let d be h/18 + (-20)/60. Is 2 < d?
False
Let t = -183 + 47. Let l = 41 + t. Which is smaller: l or -1?
l
Suppose -3*n + 363 - 366 = 0. Is n at most as big as -1/4694?
True
Let z be 4/22 + 488114/82522. Is 7 less than z?
False
Let u = 6 - 2. Let v = 93712/3 + -32276. Let m = v + 1042. Is m greater than u?
False
Let q = 1984.73 + -1987. Let o = 1.5 + -4. Let k = q - o. Is k equal to 0?
False
Let k be 3794/(-42) - (-1 - -8) - 4. Which is smaller: k or -101?
k
Let h = -3785 + 3784.7. Which is smaller: h or -1363?
-1363
Let j(f) = f**3 + 3*f**2 - 4*f - 1. Let n be j(-5). Suppose 0 = -203*b - 82*b + 13930 - 23050. Do b and n have different values?
True
Let u(p) = p**2 - 26*p - 247. Let x be u(-7). Which is bigger: x or -10?
-10
Let z be (-3612301)/(-5455) - (-6)/(-5). Is 666 at least as big as z?
True
Suppose 4*j + 5*t + 129 = 892, 0 = -4*t - 4. Let n = j + -197. Is n smaller than -1?
True
Suppose -u + 49 = -0*u - 2*j, 4*u = -3*j + 152. Let x = -47 + u. Let b(o) = -o - 5. Let w be b(x). Is 2.1 > w?
True
Let d = 1156/1026015 - 1/4685. Let f = d + 427/731460. Is f < 0?
False
Let p = -11527 - -11510. Is 34.2 not equal to p?
True
Let z be (-2 - (-6 - -7))/3 + 15. Is z bigger than 33?
False
Suppose 0 = 3*a - b + 3967, 5*a + 4997 = -b - 1628. Is 1/2 smaller than a?
False
Let b = -2803 - -2804. Are b and 2/10145 nonequal?
True
Let d = -41/75 - 3/25. Suppose -2949 = -4*q - 901. Let s be (q/40)/4 - 6. Which is greater: d or s?
d
Suppose -3*c - 33 = -4*s - 9, -c - 5*s = -30. Is 125 > c?
True
Let g be (-6)/4*82/123. Is 5/1036 not equal to g?
True
Let b = -12403 - -12429. Which is smaller: 23 or b?
23
Let d = -7404 + 7403.98. Is 41 < d?
False
Let s = -18.6 - -14. Let t = s - -4.9. Which is greater: t or 18/5?
18/5
Let o be 459017/(-119) - (-3)/(42/4). Is -3858 at most as big as o?
True
Let k = 24357 + -23658. Is k > 1?
True
Let c be 16/(-6)*(-3)/2. Let i = -382 - -375. Let r be ((-159)/(-24) + i)*(-9 + 1). Is c at most r?
False
Suppose -3*k = 9, -3*k = -3*j - 6*k. Suppose 20 = 3*z + j*v - 1, 2*v - 9 = -z. Suppose 0 = z*b + 5, -c = 4*b - b + 12. Which is bigger: -7 or 