ter: j or v?
v
Let l = -1.077 + -1.423. Let r = 0.03 - 1.53. Let w = r - l. Which is smaller: w or 30?
w
Suppose -175 = 5*h + 10. Let y be ((-3177)/(-18) - -1)*(-1)/5. Which is greater: y or h?
y
Let s(o) = 3*o**3 + 61*o**2 + 19*o - 29. Let y be s(-20). Let t be -26*(-3 + -2 + 6). Let c = 17 + t. Is y greater than c?
False
Let u be 1623 + (12/(-30))/(1/(-10)). Suppose -13*l + u = -3989. Are 432 and l nonequal?
False
Suppose -40 = -2*i - 3*i. Suppose -i = -5*f + 67. Let l = 17 - f. Is -1 less than or equal to l?
True
Suppose i = -5*l - 18 - 11, -4*i + 3*l - 1 = 0. Let z be 4 - (i/5)/(12/30). Suppose -73 = 5*u - s, z*u + 67 = u + 4*s. Does u = -16?
False
Let m(l) = l**3 + l**2 - 6069*l - 4 + 6066*l + 2*l**2 - 4*l**2. Let f be m(3). Is f < 0.5?
False
Let u be (8 - 3) + (-1 - -17)/(-2). Let f be (u/(-24))/(-7*3/(-168)). Which is smaller: f or 5/41?
5/41
Let t be 82/(-7)*98/(-84). Suppose -4*y = 3*y - 91. Which is bigger: y or t?
t
Let n(c) = -c**3 + 9*c**2 - 15*c + 16. Let w be n(7). Let z be (-1212)/w*48/32. Does z = -201?
False
Let p = 11 - 68. Let n be 0*(11/6 - 9/6). Suppose n = 50*o - 48*o + 2. Which is bigger: p or o?
o
Let r be (12/545)/(15/800 + 0). Is 1 less than or equal to r?
True
Let o = 5054 - 5056. Does o = -0.098?
False
Suppose 0 = 10*r + 43*r - 34238. Let f = 653 - r. Which is greater: f or 19?
19
Let m be 21/(-35)*(-6 + 1). Let c be (-14)/m*(-5 - (1 - 3)). Suppose 4 = g + c. Is -12 bigger than g?
False
Suppose u = -5*u. Suppose -q = 3*m, 3 = m + 2*q - 2. Which is smaller: u or m?
m
Let v be (-13)/(-91)*(-2842)/58. Let g = 3435/17 + -202. Is g less than or equal to v?
False
Let g = -1314 - -1315. Let x be 18/12 - (-2)/10. Let f = x - 13/40. Which is smaller: g or f?
g
Let r = 8583 + -7864. Are r and 714 unequal?
True
Let l = -15.09 + 15. Let p = l - 0.91. Let r = 127.4 - 126. Which is bigger: p or r?
r
Suppose -2*f - 21 = -5*f. Suppose 5*j - d = -31, 2*d = 5*j + f*d + 25. Is j less than 5?
True
Suppose -17*o - 24 = -58. Let i be ((-3)/(-2))/(14 - (6 + o)). Which is smaller: i or -1?
-1
Suppose -285 = 3*c - 8*c. Suppose -181 = 3*f + 221*o - 225*o, 3*f - 3*o = -180. Let q = f + c. Are q and 4 non-equal?
True
Suppose 3*i + 2*c = -70, -5*i - c - 116 + 11 = 0. Let y be (-8)/(-45) - i/(-50). Let r be ((-616)/(-462))/(4/(-3)*-1). Which is bigger: y or r?
r
Let j be (-20)/(-45)*15/(-3490). Let u = 2728/331899 + j. Which is greater: 0 or u?
u
Let k be (-13)/(-78)*-75*4/(-10)*-422. Which is smaller: k or -2111?
-2111
Suppose -7*v = -2*v + 330. Let i = 106 + v. Let d = i + -36. Which is greater: 0 or d?
d
Let b(m) = 61*m**2 - m + 2. Let w be b(1). Let r = 58 - w. Let y be (r + (-22)/(-4))*(-2)/(-3). Is y greater than or equal to 1?
True
Let t = 316 - 338. Let u be t/(-9) - (-10)/5. Let y be (-25)/(-9) - (-6)/27. Do y and u have different values?
True
Let i(n) = 9*n**2 - 20*n + 12. Let r be i(3). Which is smaller: 27 or r?
27
Suppose -4*j + 4*c = 7 + 25, 9 = 2*j + 3*c. Let b = -63213/11 - -5745. Is j less than or equal to b?
True
Suppose 7 = 26*y + 59. Let x be (-11123)/4116 + y/(-21)*3. Which is bigger: x or -1?
-1
Let f be ((-6)/2 - -3) + 3. Suppose 82 - 32 = -2*k. Let z be ((-70)/k)/((-18)/(-15)). Which is greater: z or f?
f
Let w be ((-82)/6)/(-25 - 3031/(-126)). Is w > 15?
False
Let g = 14.667 - 14.7. Let u = g - -1.033. Are u and -65 unequal?
True
Let h = 2987 + -3204.9. Let p = 213 + h. Which is bigger: p or 2?
2
Let t be 41744/78 + (-12383)/377 + 33. Which is bigger: 2/5 or t?
t
Suppose 0 = -3*x - 15, 0 = 2*w + 2*x + 8. Is 1/6182 less than w?
True
Let o = 3752 + -4503. Which is smaller: o or -757?
-757
Let z be 29253/(-35)*185/(-148). Which is smaller: 1046 or z?
z
Suppose d + 2*q - 7 = 0, -q = -d - 5*q + 15. Let z = -4010/81 + 465187/9396. Is z less than or equal to d?
False
Suppose -17*d - 2955 = 14472 - 903. Is -970 >= d?
True
Suppose -66*q = -32651 - 11899. Is 680 != q?
True
Let t = -3902 - -3901.9. Which is bigger: 1813 or t?
1813
Let u(i) = i**3 + 8*i**2 + 9*i - 8. Let v be u(-6). Suppose 24*k - 19*k - v = 0. Let g be (k - (-11)/3) + 1. Which is greater: g or 8?
8
Let w = -224.962 + 223. Let i = w + 0.242. Is -2 < i?
True
Let h = -16 - -10. Let z be ((-140)/(-40) + (-53)/14)*-14. Let c be (z/h)/((-5)/90). Which is greater: c or 16?
16
Let x = -209 - -424. Suppose -2*t = -3*q - x, 0 = -q + 2*t + 4 - 77. Which is smaller: q or -69?
q
Let o = -22836 - -22837. Is o greater than or equal to -1/249?
True
Let q = 4736 - 4736.1082. Which is smaller: 0.1 or q?
q
Suppose 20*i + 18*i = -8*i - 1288. Let c be 8/10*950/(-28). Is i <= c?
True
Let v(s) = 24*s**2 - s + 4. Let g be v(3). Let l = -26272 + 26491. Is g less than l?
True
Let x(u) = 10*u**2 - 77*u + 5. Let m be x(-5). Which is greater: 641 or m?
641
Let y be (13/(-169)*0)/6. Which is smaller: y or -8/147?
-8/147
Suppose 15*n = 13*n + 13728. Let r be 72/n*(-4)/(-6). Which is greater: r or 1?
1
Let u be (11 - 90/9)*1/(-1)*0. Which is smaller: -7/933 or u?
-7/933
Let h = 161 - 573. Let t = -397 - h. Is t at least 1?
True
Let b be (-1)/(-2 + 0) - 542/(-4). Let y = 174 - b. Suppose 5*q = 3*g + 44, 4*g - q + y = 2. Is g smaller than -8?
False
Suppose d - 3*v - 6 = 0, -3*d + 5*d + 4*v = 2. Let c be (-1*d)/((25/5)/25). Let m be 0 - 3 - c/13. Which is smaller: -1 or m?
m
Let i(n) = n**2 - 87*n + 559. Let c be i(7). Do 25/78 and c have different values?
True
Let p = 312/2603 - 2/137. Suppose 5*j - 6*h - 30 = -3*h, j = 3*h + 18. Let r be j/7 - (-10)/(-7). Is r greater than or equal to p?
False
Let w(t) be the second derivative of -2*t**4/3 + t**3/2 - t**2 + 12*t. Let z be w(-2). Let s be 2*4/z - (-101)/(-95). Is 0 at most s?
False
Let c be (1/3 - 125/(-300))/(1593/(-24)). Which is greater: c or 0.04?
0.04
Let x = 1.2 - 1.17. Suppose -5 = -22*q + 39. Is x less than q?
True
Suppose 2*b - 16 = -3*n - 0*n, 3*b = -3. Suppose 0 = -2*v - n*v - 80. Which is smaller: v or -12?
-12
Let q = -9.6 + 9.98. Let m = 0.38 - q. Is 2/93 at least m?
True
Let u be -2*(9633/4 - (-111)/444). Which is smaller: -4819 or u?
-4819
Let i(h) = 35*h - 129. Let c be i(7). Suppose -113 = u + w, -u - 10*w - c = -8*w. Is -111 smaller than u?
True
Suppose 16*n = 21*n - 455. Let r(f) = 13*f**3 - 5*f**2 + 4*f. Let l be r(2). Which is bigger: n or l?
l
Suppose 5*k = -3*g - 68, -5*g - 108 = 4*k - k. Suppose -3*t + 2*y + 3 = 7*y, -4*y = -2*t - 20. Which is smaller: g or t?
g
Let r be (-236)/(-6) + (-6)/(-9). Let h = r - 79/2. Let j = 8 + -33/4. Is h > j?
True
Suppose 34*p + 46*p = -26*p - 509330. Is -4805 >= p?
True
Let s be 2 + (1 - (-1 + 3)). Let q be 8/18*(-201)/19430. Which is greater: s or q?
s
Let s = 4/8861 - 19081/22639855. Are -1 and s nonequal?
True
Suppose -3*a = 4*r - 1277 + 228, -3*a + 1037 = -2*r. Which is greater: 351 or a?
351
Let l = -22 - -21.992. Let c = 5 - 4.808. Let v = c - l. Is 2 less than or equal to v?
False
Let t = 10.63 + -9.5. Let a = t - 0.4. Is a at most as big as -1/2?
False
Let l be (-3)/(17/((-102)/81)). Is 972 at most as big as l?
False
Suppose -10*u = -21034 + 3554. Suppose 5*w - u = -448. Let i be w/720 - 1/4. Is -1 bigger than i?
False
Let s = -5/2373 + -16591/9492. Are 38.3 and s non-equal?
True
Let o = -13390 + 13389. Which is greater: o or 5/3579?
5/3579
Let m(z) = -3*z + 4. Let v be m(3). Suppose -27586*j + 27569*j - 646 = 0. Do v and j have the same value?
False
Let s = -5165/4 - -9188623/7116. Is s > -1?
True
Let c = -4385 - -4412.93. Let k = c + -28. Let x = -0.3 + 3.3. Is k equal to x?
False
Let x be (-808)/303 - 2280/9. Which is smaller: -43 or x?
x
Let g = -158 - -3. Let h = g - -155.052. Is h at least as big as 1?
False
Suppose 3*g - 47 - 19 = 0. Let y = 35 + g. Suppose 2*i + 0*i = -3*b + 164, 0 = -3*b - 5*i + 158. Which is smaller: b or y?
b
Let c be 2190/(-25)*(-495)/(-2673). Which is bigger: c or -1/70?
-1/70
Let q be -2 - (1 - -3) - -6. Suppose q*t = -10*t - 140. Is -14 greater than or equal to t?
True
Suppose 0 = -50*l - 328 + 328. Which is smaller: 2/48231 or l?
l
Let s = -14663 + 14530. Is -131 less than or equal to s?
False
Let x be (-2430)/(-403) + 10*(184/(-40) + 4). Are x and 1 nonequal?
True
Let l = 0.032 + 155.968. Let z = l - 140. Which is smaller: z or 1?
1
Suppose 3431 + 5105 = 88*i. Is i at least as big as 49?
True
Let u be (6/(-24)*13)/(15/540). Is -4 != u?
True
Su