r f?
267
Suppose -2*t = -6*t - 3*f - 444, 0 = 5*t + 4*f + 555. Let w be (-14284)/(-126) + 2/(-9). Let a = t + w. Is 1 > a?
False
Let p be ((-2)/10)/((-2380)/(-100) + -24). Let o be 4678/(-1558) + (1 - -2). Is p <= o?
False
Let s be 3/(-1) + (-31794)/21204*-2. Suppose -5*r - 2*l = -3, 0 = -3*r + 56*l - 58*l + 1. Is s < r?
True
Suppose 0 = -3*u - 36*u + 16419. Is u at least as big as 420?
True
Suppose 35*j = 22*j + 1313. Let h = j - 611/6. Which is greater: -0.01 or h?
-0.01
Let k = 62 - 72. Let s = 10 + k. Let f = 0.3 + 4.7. Which is smaller: s or f?
s
Suppose 3*p = 7*p + 3*m + 4, m = 3*p + 3. Let n be 13/((-1170)/84) - p. Suppose -5*o - 7 + 1 = -4*a, -2 = -o + 4*a. Is n at least as big as o?
True
Let v = -151.2 + 1407.2. Which is greater: v or 2?
v
Suppose -3*w + 4*f + 129 = 0, -262 = -5*w + 3*f - 36. Suppose 5*z + 43 + w = 0. Let p = 14 - 32. Is z at least p?
True
Let y = 1/505 - 6079/9595. Let x = 488 + -489. Which is smaller: y or x?
x
Let y be 1/(((-8960)/748)/(-4) - 3). Let v be (18/7 - 3) + y/(-28). Let p = v - 13/2. Which is bigger: 12 or p?
12
Let z be ((-33)/(-9) + -1)/(200/75). Are z and -4/801 equal?
False
Let w = -319 - -418. Suppose s - w + 490 = 0. Which is smaller: -392 or s?
-392
Let h = 2/761 - -3026/6849. Let g(i) = 75*i - 5176. Let s be g(69). Which is smaller: s or h?
s
Let j be (21/18)/7 - (-763)/(-654). Is 2/13665 greater than j?
True
Suppose 4*j + 1596 = -4*f, j + 1977 = -5*f + 2*j. Let q = f - -1585/4. Which is greater: 11 or q?
11
Let l(h) = -5*h - 35. Let j be l(-10). Let p = -4 + j. Suppose 2*s - 3 = 2*i + p, -3*i + 4*s - 16 = 0. Which is greater: -32/3 or i?
-32/3
Suppose -127 + 1547 = 22*k - 2628. Is k != 183?
True
Suppose 0 = 101*b - 102*b + 1435. Are b and 1437 nonequal?
True
Suppose -2 = 5*x - 6*x. Suppose 4*r = -i + 3, -3*i + x*r - 3*r = 2. Let n be 1*-1 + (-804)/(-828). Is n not equal to i?
True
Suppose 303*c + 4723 + 83032 = 16853. Which is smaller: -2568/11 or c?
c
Let a(h) = -h**3 - 72*h**2 - 2*h - 7. Let t be a(-72). Which is smaller: -5 or t?
-5
Let p be 55022/(-55) - (-6)/15. Let q = 1125 - 1879. Let j be (-2)/(p/q) + (-60)/(-40). Which is bigger: 0 or j?
0
Suppose 308*j - 146772 = -16*j. Is 461 <= j?
False
Let d = 136.7321 + -136.8. Let r = -139.9321 + d. Which is smaller: 1 or r?
r
Suppose 0 = 100*r - 101*r - 470. Which is smaller: -469 or r?
r
Let c = -2643 - -2643.4. Let n = 3.2 - 4.5. Is c smaller than n?
False
Let g = 0.1426 - 0.1326. Is g > 0.018?
False
Let u be 19/((-950)/(-2540))*(-5)/(-2). Is 3 at least u?
False
Suppose 2*q + 985 = 5*z, 5*z + 4*q - 3*q = 970. Let l = z - 222. Is l equal to -33?
False
Let o = 0.00472 - -34.29528. Is 49 less than or equal to o?
False
Let l = 16712 + -16712.3. Let y = 12 - 12.28. Which is greater: y or l?
y
Let v(h) = -h**2 - 26*h + 33. Let x be v(-26). Let g = 25 - x. Suppose 4*d + 2 = 5*u, 3*d + 0 + 7 = u. Is g > d?
False
Let i = 6563 - 8615. Which is greater: i or -2048?
-2048
Let a = 1.988 - -242.612. Let j = 245 - a. Which is smaller: 16/5 or j?
j
Suppose -5*j = 5*t, j + 4*j = -10*t + 20. Which is smaller: t or 1263?
t
Let d(g) = 24*g + 3. Let l be d(-3). Let z = -899/13 - l. Suppose -6*k - 14 + 20 = 0. Is z not equal to k?
True
Let k = -2179 + 10951/5. Let r = k - 34/3. Let v = 2 - 1. Do v and r have different values?
True
Let w = 5898 + -64928/11. Is -24/13 <= w?
False
Suppose 2*s + 3*q + 0*q + 116 = 0, 0 = 3*s + 2*q + 184. Let a be 2/(8/(s/8)). Is a greater than or equal to -11?
True
Let v be 21/42 - (-8 - (-119)/14). Which is smaller: 5/2281 or v?
v
Let g = -212 - -212. Let a = 1245/201314 + -1/1054. Let c = -2488/955 + a. Which is smaller: c or g?
c
Let m(i) = 18*i**3 - i**2 - 12*i + 13. Let h be m(1). Which is smaller: 332 or h?
h
Let w be (-28)/(-63) - (-2 + 8213/(-9)). Let k be (141/(-9))/((-37)/2161). Let d = w - k. Which is smaller: 0 or d?
d
Suppose 1107 = 5*h + 2*s, -12*h = -7*h + 4*s - 1109. Let j = 219 - h. Which is greater: 3 or j?
3
Let j = -2999/260 + 243/20. Is j at least as big as 1?
False
Let h = -11726 - -11718. Which is smaller: h or -481?
-481
Let f be (-6)/(14280/(-3049612)) + 4/(-10). Let h = f + -12312/17. Let r = h - 552. Is r at most as big as 6?
True
Let n = -2 + 9. Suppose -3*p - n = -0*p - q, -q - 1 = 5*p. Let v = 122779/25 - 4911. Is p less than v?
True
Let g = 6667.035 - 6667. Is -2.6 at most as big as g?
True
Let l be 1 - 9/7 - 161250/(-875). Is 2 != l?
True
Suppose 6 + 6 = -32*i - 20. Do -24/809 and i have the same value?
False
Let s = 893 + -889. Suppose 4*a - 3*a - 16 = r, 2*a + 2*r = 44. Which is smaller: a or s?
s
Let k be ((-75)/450)/((-6)/(-330)). Let j(q) = 29*q**2 + q. Let d be j(1). Suppose 0 = 3*l + w + d, -3*l + 4*w = 7*w + 30. Which is greater: k or l?
k
Let b be 450454/(-312) + 4/(-26). Let d = b - -1443. Let p = d - -2/3. Which is smaller: p or -14?
-14
Let k = 70 - 76. Let o be k/(-12) + (-1 + 5 - 4). Which is greater: o or 6/5?
6/5
Let t be 14/4*(-1024)/(-8). Suppose 0*g - t = 8*g. Does g = 0.1?
False
Let t be -2 - (57/9 - -1)*-3. Let s be ((-32)/t)/(5/350*7). Is -59/4 <= s?
False
Let z = 684/11 - 149/33. Let h = -57 + z. Suppose 3*j = 7 + 5. Are h and j equal?
False
Let w = -1.1 - -0.1. Let b = 10.231 + -10.531. Is w greater than or equal to b?
False
Let o be (-20922)/53955 + -5*6/(-75). Which is greater: o or 0?
o
Let k be (-668)/(-6) + (-25)/75. Let m = -242 + k. Is m greater than -131?
False
Let i(w) = -w**3 + 9*w**2 - 17*w - 70. Let t be i(12). Is -704 > t?
True
Let o(f) = -f**3 - 4*f**2 + 234*f + 46. Let w be o(-19). Are 1013 and w equal?
False
Let m = -1841.4 - -1841.351. Which is greater: -2/27 or m?
m
Let t = -4311 - -11929. Which is bigger: t or 1?
t
Suppose -3*k = 5*z + 19047, 0 = k + 5*z + 4635 + 1704. Is k greater than or equal to -6353?
False
Let n = -20.4 - -28. Let u = -345.8 - -338. Let c = n + u. Which is smaller: c or -5/3?
-5/3
Let q be (561888/(-30))/(-16)*-1. Which is smaller: -1171 or q?
-1171
Suppose 4*t = 3*t + 5. Suppose 0*a + 15 = -t*a. Which is smaller: a or -0.21?
a
Suppose -5*m - 4*a + 40 = 0, 3*a = -3*m + 26 - 5. Let q be m/9*-7 - 10/15. Let o = q - -1. Is o < -6?
True
Let g = 260 - 241. Let w be 28 + -22 - 2*g. Which is bigger: w or -29?
-29
Let r = 1.13 + 0.07. Let s = r + 5.8. Let g be (-2)/7 + 13/21. Which is bigger: s or g?
s
Suppose 2*k + 24 = 7*k - b, 3*k = -5*b + 20. Let h be (-10)/(-3)*(-12)/k. Let m be 6 + -10 + 1 + -1. Is h >= m?
False
Suppose 3*l = -2*k - 169, 0*k + 5*k = 5*l - 385. Let p be 1/18*k/(-12). Is 1 > p?
True
Let u = -721 - -1041. Suppose -5*j - 4*a + u = 0, -2*j + 2*a + 124 = -22. Let w = -105 + j. Which is smaller: -36 or w?
w
Let s(r) = r**2 - 31*r + 260. Let d be s(39). Suppose 2*j + 8 - 2 = 0. Let h be 198/d*(-2)/j. Which is smaller: 1 or h?
h
Let i be 50/5*14/10. Let r be 678/(-21) + ((-20)/i)/(-5). Which is smaller: r or -3?
r
Let n = -2183 + 1475. Let i = -823 - n. Is i less than or equal to -115?
True
Suppose -5*v = -2*v + 213. Let u = v - -80. Let r be (u/27)/(1/(-6)). Is -3 bigger than r?
False
Suppose 3*o = 2*m - 34, -5*o - 3*m + 0*m - 63 = 0. Let x be ((o/(-7))/6)/(20/224). Is 0.06 smaller than x?
True
Suppose 0 = -44*x + 57*x - 11960. Is 920 less than or equal to x?
True
Suppose 12*x = 50*x - 6042. Let n = 225 - x. Is 453/7 >= n?
False
Let z be ((-12)/18)/(4/6). Let r = 1750 - 1789. Is z not equal to r?
True
Let t = -21996 + 21788. Is t >= -0.3?
False
Let r = 139790584777/6974065763 + 1127995/198901. Let x = -6/5009 + r. Is 26 at most as big as x?
False
Let h be (1 - 1)/(-4 + 1). Suppose -37*r - 560 - 476 = h. Which is smaller: -30 or r?
-30
Suppose 2*c = -m - 7, -3*m = m + 5*c + 16. Let w = -1302 + 1287. Let q be ((-12)/w)/(m/(10/14)). Which is bigger: 2 or q?
2
Let v be (-2844433)/(-6555) + (-1)/(-15). Which is smaller: 437 or v?
v
Let u = -4026.02794 + 0.02794. Which is smaller: 1 or u?
u
Let b = -175.1 + -3.9. Let t = b + 162.1. Let i = t + 17. Which is smaller: 1/4 or i?
i
Let g = -88 - -87.929. Let r = 0.008 + g. Is r less than or equal to -5/2?
False
Let z = -1.09 + 1.39. Suppose 5*p - 467 = -992. Which is bigger: p or z?
z
Suppose -140*b = 16933 - 97296 - 76717. Which is smaller: 1121 or b?
1121
Let v be (-6*(-5 + 16/4))/((-12)/8072). Is v less than or equal to -4036?
True
Let r(b) = b**2 + b - 1. Let z(m) = 21*m**2 - 9*m - 21. L